Assurance-driven design in Problem Oriented Engineering∗
نویسنده
چکیده
The design of assurance cases is hampered by the positand-prove approach to software and systems engineering; it has been observed that, traditionally, a product is produced and then evidence from the development is looked for to build an assurance case. Although post-hoc assured development is possible, it often results in errors being uncovered late—leading to costly redevelopment—or to systems being over-engineered—which also escalates cost. As a consequence, there has been a recent move towards the proactive design of the assurance case. Assurance-driven design sees assurance as a driving force in design. Assurance-driven design is suggestive of how the design process should be shaped for assurance. It is not, however, a prescriptive method; rather it allows an organisation to assess their assurance needs according to their developmental needs, including their attitude to risk, and to adapt their processes accordingly. The work is situated within Problem Oriented Engineering, Hall and Rapanotti’s engineering design framework, with its root in software and systems engineering. In the paper we present the main elements of the approach and report on its application in real-world projects.
منابع مشابه
Assurance-driven development in Problem Oriented Engineering
Problem Oriented Engineering (POE) is a Gentzen-style ‘natural’ framework for engineering design. As such, POE supports rather than guides its user as to the particular sequence of design steps that will be used; the sequencing is user determined as that most appropriate to the context of application. In this paper, however, we suggest a sequencing of steps and interactions with stake-holders t...
متن کاملAdaptive Voltage-based Control of Direct-drive Robots Driven by Permanent Magnet Synchronous Motors
Tracking control of the direct-drive robot manipulators in high-speed is a challenging problem. The Coriolis and centrifugal torques become dominant in the high-speed motion control. The dynamical model of the robotic system including the robot manipulator and actuators is highly nonlinear, heavily coupled, uncertain and computationally extensive in non-companion form. In order to overcome thes...
متن کاملE2E Testing and Evaluation of High Assurance Systems
DoD E2E Testing and Evaluation (T&E) technology for high assurance system has evolved from specification and analysis of thin threads, through system scenarios, and to the scenario-driven system engineering including reliability, security, and safety assurance, as well as dynamic verification and validation. Currently, E2E T&E technology is entering the fourth generation and being applied to th...
متن کاملMistake Proofing Cam Mechanism Through Six-sigma Process: Case Study on Clothes Printing Machines
Controlling the occurrence of defects is a major challenge for manufacturing organizations that are seeking to enhance their competitive position in today’s global market. This paper considers the process of screen-printing T-shirts using hydraulic and pneumatic printing machines. Several defects in the output of this printing process have been observed, especially with multi colors printing as...
متن کاملObject-Oriented Software Engineering - a Use Case Driven Approach
object-oriented software engineering: a use case driven object oriented software engineering a use case driven object-oriented software engineering a use case driven a use-case driven approach to formal service-oriented ccis 17 a use-case driven approach to formal service object oriented software engineering ivar jacobson pdf process-oriented requirement analysis supporting the data a use case ...
متن کامل